Toward Automated Provability-Based Semantic Interoperability Between Ontologies for the Intelligence Community

The need for interoperability is dire: Knowledge representation systems employ ontologies that use disparate formalisms to describe related domains; to be truly useful to the intelligence community, they must meaningfully share information. Ongoing research [3, 4, 7, 15] strives toward the holy grail of complete interoperability, but has been hindered by techniques that are specialized for particular ontologies, and that lack the expressivity needed to describe complex ontological relationships. In the sequel, we describe provability-based semantic interoperability (PBSI) [16], a means to surmount these hindrances; translation graphs, one of our key formalism for describing the complex relationships among arbitrary ontologies; and ways in which these techniques might be automated.